(eq (type-of 2u32) type-u32)
